modus ponens（肯定前件式）：一种基本的有效推理规则。形式为：
如果 P → Q（如果P则Q），并且 P 为真，那么可以推出 Q 为真。
（常见于数学证明、形式逻辑与日常论证中；逻辑里还有其他推理规则与谬误形式。）
/ˌmoʊdəs ˈpoʊnɛnz/
If it rains, the ground gets wet; it’s raining, so the ground is wet.
如果下雨，地面就会湿；现在在下雨，所以地面是湿的。
In the proof, we use modus ponens to derive the conclusion from the implication and the given premise.
在这个证明中，我们用 modus ponens 从“蕴含关系”和“已知前提”推出结论。
源自拉丁语：modus（“方式、方法”）+ ponens（“放置、确立”）。直译可理解为“确立（前件）的推理方式”。它与 modus tollens（否定后件式）并列，是经典形式逻辑中最核心的推理规则之一。
Select Language